Nuprl Lemma : reducible_wf 2,24

a:. reducible(a Prop 
latex


Definitionsreducible(a), x:AB(x), P & Q, A, a ~ b, x:AB(x), , Prop, t  T
Lemmasassoced wf, not wf, int nzero wf

origin